Termination Problems in Chemical Kinetics
نویسندگان
چکیده
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computation is decidable, but that termination with any probability strictly greater than zero is undecidable. Moreover, we show that the fairness intrinsic in stochastic computations implies that termination of all computation paths is undecidable, while it is decidable in a nondeterministic framework.
منابع مشابه
A Predictive Model for the Combustion Process in Dual Fuel Engines at Part Loads Using a Quasi Dimensional Multi Zone Model and Detailed Chemical Kinetics Mechanism
This work is carried out to investigate combustion characteristics of a dual fuel (diesel-gas) engine at part loads, using a quasi-dimensional multi zone combustion model (MZCM) for the combustion of diesel fuel and a single zone model with detailed chemical kinetics for the combustion of natural gas fuel. Chemical kinetic mechanisms consist of 184 reactions with 50 species. This combustion mod...
متن کاملInvestigation of Leaching Kinetics of Smithsonite Ore
The leaching kinetics of smithsonite ore in acetic acid solutions, an environmental friend, and natural reagent was investigated. The influence of parameters such as reaction temperature, particle size, solid-liquid ratio and acid concentration was studied in order to reveal the leaching kinetics of smithsonite ore. In this study, experimental and statistical methods were carried out in order t...
متن کاملNumerical Study of Blast Initiation of Detonation Using a Two Step Chemical Kinetics Model
The effect of chemical reactions on the blast initiation of detonation in gaseous media has been investigated in this paper. Analytical method is based on the numerical solution of onedimensional reactive Euler equations. So far, analyses on the blast initiation of detonation have modeled the combustion process as a one-step chemical reaction, which follows the Arrhenius rate law. Previous stud...
متن کاملEnhancement of Combustion Process in Dual Fuel Engines at Part Loads by using Suitable Techniques
It is a well known fact that, dual fuel engines at part loads, inevitably suffer lower thermal efficiency, higher carbon monoxide and unburned fuel emission. The work in this paper is to investigate combustion characteristics of a dual fuel (diesel-gas) engine at part loads, using a single zone combustion model with detailed chemical kinetics for combustion of natural gas fuel. The authors deve...
متن کاملSoybean Oil Transesterification Reactions in the Presence of Mussel Shell: Pseudo-First Order Kinetics
Calcium oxide is one of the appropriate catalysts for biodiesel production. In this study, cheap and compatible with environment catalyst has been used. Mussel shell of Persian Gulf coast is one of the sources of calcium carbonate that is converted to calcium oxide at calcination temperature up to 950°C. Transesterification reaction was carried out at optimum condition of our previous study...
متن کامل